#include testing
#include bool


(assert true #t)
(assert-false false #f)

(assert not-false (not #f))
(assert-false not-true (not #t))

(assert and-empty (and))
(assert and-t (and #t))
(assert-false and-f (and #f))
(assert and-tt (and #t #t))
(assert-false and-ft (and #f #t))
(assert-false and-tf (and #t #f))
(assert-false and-ff (and #f #f))
(assert and-ttt (and #t #t #t))
(assert-false and-tft (and #t #f #t))

(assert-false or-empty (or))
(assert or-tt (or #t #t))
(assert or-tf (or #t #f))
(assert or-ft (or #f #t))
(assert-false or-ff (or #f #f))
(assert or-ttt (or #t #t #t))
(assert or-tft (or #t #f #t))
